discrete direct sum

离散直和